(check-sat (not false))